大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Techniques for Microprocessor System Development (1980) 的图书(共6004本)

Model Driven Architecture and Ontology Development [electronic resource]

0
索取号：
作者：Ga拧evi膰、 Dragan.、Djuri膰、 Dragan.、Deved啪i膰、 Vladan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Techniques for Networked and Distributed Systems - FORTE 2005 [electronic resource] : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

0
索取号：
作者：Wang、 Farn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

0
索取号：
作者：Paliouras、 Vassilis.、Vounckx、 Johan.、Verkest、 Diederik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Structural Information and Communication Complexity [electronic resource] : 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings

0
索取号：
作者：Pelc、 Andrzej.、Raynal、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing-ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

0
索取号：
作者：Hung、 Dang.、Wirsing、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Cryptology-EUROCRYPT 2005 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings

0
索取号：
作者：Cramer、 Ronald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Rapid Integration of Software Engineering Techniques [electronic resource] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

0
索取号：
作者：Guelfi、 Nicolas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

0
索取号：
作者：Treharne、 Helen.、King、 Steve.、Henson、 Martin.、Schneider、 Steve.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development

0
索取号：
作者：Bouyssounouse、 Bruno.、Sifakis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

0
索取号：
作者：Fiadeiro、 Jos茅 Luiz.、Mosses、 Peter D.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005. Proceedings

0
索取号：
作者：Chekuri、 Chandra.、Jansen、 Klaus.、Rolim、 Jos茅 D. P.、Trevisan、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

0
索取号：
作者：Mu帽oz-脕vila、 H茅ctor.、Ricci、 Francesco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Web Technologies Research and Development - APWeb 2005 [electronic resource] : 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005. Proceedings

0
索取号：
作者：Zhang、 Yanchun.、Tanaka、 Katsumi.、Yu、 Jeffrey Xu.、Wang、 Shan.、Li、 Minglu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

System Analysis and Modeling [electronic resource] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

0
索取号：
作者：Amyot、 Daniel.、Williams、 Alan W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.